lambda notation

См. также в других словарях:

• Lambda-Notation — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …   Deutsch Wikipedia

• lambda notation — A term such as ‘Sine 60°’, or ‘the father of Hegel’ refers to a number or a person. But it includes the term ‘Sine…’ or ‘father of…’. ‘Sine x ’ or ‘father of y ’ stand for a function referring respectively to a number or a person for particular… …   Philosophy dictionary

• lambda — notation …   Philosophy dictionary

• Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

• Notation Bra-Ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

• Notation bra ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

• Notation de Dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

• Notation de dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

• Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

• Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

• Notation bra-ket — La notation bra ket a été introduite par Paul Dirac pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique (voir Axiomes de la mécanique quantique) …   Wikipédia en Français